1

Evaluating general purpose automated theorem proving systems

Year:
2001
Language:
english
File:
PDF, 216 KB
english, 2001
2

SPS-Parallelism + SETHEO = SPTHEO

Year:
1999
Language:
english
File:
PDF, 278 KB
english, 1999
16

SPTHEO - A Parallel Theorem Prover

Year:
1997
Language:
english
File:
PDF, 73 KB
english, 1997
17

The CADE-14 ATP System Competition

Year:
1998
Language:
english
File:
PDF, 289 KB
english, 1998
23

The Results - of the CADE-13 ATP System Competition

Year:
1997
Language:
english
File:
PDF, 210 KB
english, 1997
27

The CADE-13 ATP System Competition

Year:
1997
Language:
english
File:
PDF, 13 KB
english, 1997
29

The TPTP Problem Library

Year:
1998
Language:
english
File:
PDF, 192 KB
english, 1998
30

The Procedures of the CADE-13 ATP System Competition

Year:
1997
Language:
english
File:
PDF, 78 KB
english, 1997
33

Heisenberg model on the kagome lattice

Year:
2014
Language:
english
File:
PDF, 1.15 MB
english, 2014
35

The Design of the CADE-13 ATP System Competition

Year:
1997
Language:
english
File:
PDF, 210 KB
english, 1997
39

The TPTP Problem Library, Release v1.2.0

Year:
1995
Language:
english
File:
PDF, 135 KB
english, 1995